Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Examples update #123

Merged
merged 4 commits into from
Jun 18, 2018
Merged

Examples update #123

merged 4 commits into from
Jun 18, 2018

Conversation

adrianchifor
Copy link
Member

@adrianchifor adrianchifor commented Jun 15, 2018

  • Removed minikube-es-2 as it's a duplicate of minikube-es
  • Updated demo gif to also show compilation time and reflect removal of minikube-es-2

@ramaro
Copy link
Member

ramaro commented Jun 18, 2018

lgtm

@ramaro ramaro closed this Jun 18, 2018
@ramaro ramaro reopened this Jun 18, 2018
@ramaro
Copy link
Member

ramaro commented Jun 18, 2018

lgtm

@adrianchifor adrianchifor merged commit d4a5a0c into master Jun 18, 2018
@adrianchifor adrianchifor deleted the examples-update branch June 18, 2018 15:51
adrianchifor added a commit that referenced this pull request Jun 19, 2018
Updated rsa key format to PKCS#8


Updated README.md


Merge pull request #120 from deepmind/rsa-function-update

Updated RSA key format to PKCS#8
Updated CHANGELOG.md


Version incremenet 0.16.11

Fixed typo in make_release.sh


Merge branch 'master' into disable-prune-by-default


Add pretty_printer option to searchvar

Merge pull request #121 from deepmind/searchvar_pretty_printer

Add pretty_printer option to searchvar
Merge branch 'master' into disable-prune-by-default


Removed minikube-es-2 from examples


Updated demo gif


Updated example libjsonnet


Updated requests to 2.19.1


Merge pull request #124 from deepmind/deps

Updated requests to 2.19.1
Removing monitoring from example libs for now


Merge pull request #123 from deepmind/examples-update

Examples update
Merge branch 'master' into disable-prune-by-default
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants